-recursive function - PDFSEARCH.IO - Document Search Engine

-recursive function
Results: 178

#	Item
81	Differential Equations, Infinite Limits and Real Recursive Functions ´ JOSE´ FELIX COSTA∗ Instituto Superior T´ecnico Add to Reading List Source URL: fgc.math.ist.utl.pt Language: English - Date: 2008-12-02 06:06:34 Mathematical logic Theory of computation Recursion Functions and mappings Primitive recursive function Function Fold Lambda calculus Computable function Mathematics Computability theory Theoretical computer science
82	Rewriting a method body to eliminate recursive tail calls c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia September 26th , 2011 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-09-25 17:42:34 Subroutines Tail call Recursion Inline expansion Main function E Closure Software engineering Computing Computer programming
83	Fast Exact Inference for Recursive Cardinality Models Daniel Tarlow, Kevin Swersky, Richard S. Zemel, Ryan P. Adams, Dept. of Computer Science Sch. of Eng. & Appl. Sci. University of Toronto Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2012-06-30 05:37:11 Probability theory Theoretical computer science Operations research Networks Markov random field Belief propagation Function Model theory Algorithm Mathematics Applied mathematics Graphical models
84	Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions? Jasmin Christian Blanchette Institut für Informatik, Technische Universität München, Germany blandontspamme chette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-02-19 17:14:13 Model theory Computability theory Functions and mappings Models of computation Lambda calculus Theoretical computer science Primitive recursive function Interpretation Function Mathematical logic Mathematics Logic
85	On the computational content of the Lawson topology Fr´ed´eric De Jaeger DI, Ecole Normale Sup´erieure, Paris ´ Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-07-19 08:48:33 Theoretical computer science Mathematical logic Recursively enumerable set Recursive set Enumeration Topology Continuous function Numbering Subbase Mathematics Computability theory Theory of computation
86	Primitively (Co)recursive Definitions for Isabelle/HOL Lorenz Panny, Jasmin Christian Blanchette, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München, Germany Abstract. Isabelle/HOL has recent Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-23 10:07:51 Recursion Computability theory Data types Higher-order functions Theory of computation Fold Recursive data type Primitive recursive function Lambda calculus Software engineering Computing Computer programming
87	BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS ´ AND PAULO OLIVA ´ ESCARDO MARTIN Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-16 10:22:26 Primitive recursive function Mathematical logic Philosophy of mathematics Fourier analysis Jensen hierarchy Mathematics Computability theory Constructible universe
88	13th International Workshop on Termination (WSTJohannes Waldmann (Editor) WST 2013, August 29–31, 2013, Bertinoro, Italy Preface Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-27 10:27:44 Primitive recursive function Mathematics Computational complexity theory Valuation
89	J. Functional Programming 9 (4): 355–372, Julyc 1999 Cambridge University Press ! Printed in the United Kingdom Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-18 03:41:36 Recursion Higher-order functions Functions and mappings Theory of computation Computability theory Fold Map Primitive recursive function Append Computing Software engineering Computer programming
90	System T and the Product of Selection Functions Martín Escardó1 , Paulo Oliva2 , and Thomas Powell2 1 University of Birmingham Department of Computer Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-20 06:36:33 Proof theory Computability theory Functions and mappings Theory of computation Dialectica interpretation Function Primitive recursive function Peano axioms Well-founded relation Mathematics Mathematical logic Logic

UPDATE